diagonal argument造句
例句與造句
- This proof is analogous to Cantor's diagonal argument.
- The paradox can be interpreted as an application of Cantor's diagonal argument.
- One of these theorems is " diagonal argument.
- However a diagonal argument will show that the function of two arguments is not primitive recursive.
- Cantor's diagonal argument has often replaced his 1874 construction in expositions of his proof.
- It's difficult to find diagonal argument in a sentence. 用diagonal argument造句挺難的
- The diagonal argument is constructive and produces a more efficient computer program than his 1874 construction.
- He also discovered a proof method that later became known as the Cantor's diagonal argument.
- Historically, the diagonal argument first appeared in the work of Paul du Bois-Reymond in 1875.
- For example, the conventional proof of the unsolvability of the halting problem is essentially a diagonal argument.
- The lemma is called " diagonal " because it bears some resemblance to Cantor's diagonal argument.
- Analogues of the diagonal argument are widely used in mathematics to prove the existence or nonexistence of certain objects.
- In 1891, he published a paper containing his elegant " diagonal argument " for the existence of an uncountable set.
- In 1874, he showed that the set of all real numbers is diagonal argument, which he published in 1891.
- In the 1870s Georg Cantor started to develop set theory and in 1874 published a diagonal argument to prove the same result.
- I'm writing an article on Cantor's diagonal argument in contribs 05 : 14, 21 October 2005 ( UTC)
更多例句: 下一頁